Cactus Language • Pragmatics 7
inquiryintoinquiry.com·11h
🔢Mathematical Logic
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🔧Compiler Design
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
⚙Functional Programming
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔄Category Theory
Issue 483
haskellweekly.news·1d
⚙Functional Programming
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🔢Mathematical Logic
Show HN: List of Clojure-Like projects
github.com·2h·
Discuss: Hacker News
🔧Compiler Design
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
⚙Functional Programming
How to Write Inductive Invariants
quint-lang.org·8h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Kimi K2 vs Grok 4: Who’s Better at Real-World Coding Tasks with Tools?
forgecode.dev·16h·
Discuss: r/LocalLLaMA
🔧Compiler Design
Chromahack, a programming language
blog.libove.org·2h
🔧Compiler Design
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·1d
🔢Mathematical Logic
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·14h
⚖Algorithmic Game Theory
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
The Only Programming Language That Refuses to Obey
dev.to·3h·
Discuss: DEV
⚙Functional Programming
🐥 Elixir Anti-Patterns
yellowduck.be·6h
⚙Functional Programming
True names matter in C++
quuxplusone.github.io·23h
📐Type Theory
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·6h·
Discuss: Hacker News
🏗Computer Architecture
Mastering NLP with spaCy – Part 2
towardsdatascience.com·4h
🔗Parser Combinators
Vibe coding complex changes in Rust
youtube.com·2h
🦀Rust